Tight Bounds and Faster Algorithms for Directed Max-Leaf Problems

نویسندگان

  • Paul S. Bonsma
  • Frederic Dorn
چکیده

An out-tree T of a directed graph D is a rooted tree subgraph with all arcs directed outwards from the root. An out-branching is a spanning out-tree. By l(D) and ls(D) we denote the maximum number of leaves over all out-trees and out-branchings of D, respectively. We give fixed parameter tractable algorithms for deciding whether ls(D) ≥ k and whether l(D) ≥ k for a digraph D on n vertices, both with time complexity 2 log k) · n. This improves on previous algorithms with complexity 2 3 log k) · n and 2 log 2 k) · n, respectively. To obtain the complexity bound in the case of out-branchings, we prove that when all arcs of D are part of at least one out-branching, ls(D) ≥ l(D)/3. The second bound we prove in this paper states that for strongly connected digraphs D with minimum in-degree 3, ls(D) ≥ Θ( √ n), where previously ls(D) ≥ Θ( 3 √ n) was the best known bound. This bound is tight, and also holds for the larger class of digraphs with minimum in-degree 3 in which every arc is part of at least one out-branching.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Parameterized algorithms on digraph and constraint satisfaction problems

While polynomial-time approximation algorithms remain a dominant notion in tackling computationally hard problems, the framework of parameterized complexity has been emerging rapidly in recent years. Roughly speaking, the analytic framework of parameterized complexity attempts to grasp the difference between problems which admit O(ck · poly(n))-time algorithms such as Vertex Cover, and problems...

متن کامل

Sparsification Upper and Lower Bounds for Graphs Problems and Not-All-Equal SAT

We present several sparsification lower and upper bounds for classic problems in graph theory and logic. For the problems 4-Coloring, (Directed) Hamiltonian Cycle, and (Connected) Dominating Set, we prove that there is no polynomial-time algorithm that reduces any nvertex input to an equivalent instance, of an arbitrary problem, with bitsize O(n2−ε) for ε > 0, unless NP ⊆ coNP/poly and the poly...

متن کامل

Parameterizing above or below guaranteed values

We consider new parameterizations of NP-optimization problems that have nontrivial lower and/or upper bounds on their optimum solution size. The natural parameter, we argue, is the quantity above the lower bound or below the upper bound. We show that for every problem in MAX SNP, the optimum value is bounded below by an unbounded function of the input-size, and that the above-guarantee paramete...

متن کامل

On the Parameterized Max-Leaf Problems: Digraphs and Undirected Graphs∗

The parameterized max-leaf problem on undirected graphs (which is also named the max-leaf spanning-tree problem) is formulated as follows: given an undirected graph G and a parameter k, either construct a spanning tree with at least k leaves for G or report ‘No’ if such a tree does not exist. The problem also has a version for directed graphs that is named the max-leaf out-branching problem. In...

متن کامل

Sharp Upper bounds for Multiplicative Version of Degree Distance and Multiplicative Version of Gutman Index of Some Products of Graphs

In $1994,$ degree distance  of a graph was introduced by Dobrynin, Kochetova and Gutman. And Gutman proposed the Gutman index of a graph in $1994.$ In this paper, we introduce the concepts of  multiplicative version of degree distance and the multiplicative version of Gutman index of a graph. We find the sharp upper bound for the  multiplicative version of degree distance and multiplicative ver...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • CoRR

دوره abs/0804.2032  شماره 

صفحات  -

تاریخ انتشار 2008